Towards modelling WS-BPEL using ws-calculus
نویسندگان
چکیده
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WS-BPEL, one of the most used XML-based standard languages for web services. We focus on a subset of WS-BPEL sufficiently expressive to model the interactions among web service instances in a network context. We present this language as a process calculus-like formalism, that we call ws-calculus, for which we define an operational semantics. A pair of illustrative examples illustrates ws-calculus peculiarities and show its expressiveness. Finally, we extend the ws-calculus to define an operational semantics for a more complete set of WS-BPEL functionalities.
منابع مشابه
Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus
The BP-calculus is a formalism based on the pi-calculus and encoded in WS-BPEL. The BP-calculus is intended to specifically model and verify Service Oriented applications. One important feature of SOA is the ability to compose services that may dynamically evolve along runtime. Dynamic reconfiguration of services increases their availability, but puts accordingly heavy demands for validation, v...
متن کاملImplementing Workflow Reconfiguration in WS-BPEL
This paper investigates the problem of dynamic reconfiguration by means of a workflow-based case study used for discussion. We state the requirements on a system implementing the workflow and its reconfiguration, and we describe the system’s design in BPMN. WS-BPEL, a language that would not naturally support dynamic change, is used as a target for implementation. The WS-BPEL recovery framework...
متن کاملA pi - calculus based semantics for WS - BPEL 1 Roberto Lucchi , Manuel Mazzara
4 Recently, the term Web services orchestration has been introduced to address some issues related to Web services composition, 5 that is the way of defining a complex service out of simpler ones. Several proposals for describing orchestration for business 6 processes have been presented in the last years and many of these languages make use of concepts as long-running transactions and 7 compen...
متن کاملA WSDL-based type system for asynchronous WS-BPEL processes
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services, and especially to WSDL and WS-BPEL, two of the most used XML-based standard languages for web services. We focus on a simplified fragment of WS-BPEL sufficiently expressive to model asynchronous interactions among web services in a network context. We present this langua...
متن کاملA pi-calculus based semantics for WS-BPEL
Recently, the term Web services orchestration has been introduced to address some issues related to Web services composition, that is the way of defining a complex service out of simpler ones. Several proposals for describing orchestration for business processes have been presented in the last years and many of these languages make use of concepts as long-running transactions and compensations ...
متن کامل